function toggle_logo() {
   document.cookie = 'ptm_logo='+(String($('logo').style.display)=='none' ? 'display':'none')+'; expires=""; path=/';
   new Effect.toggle('logo','blind');
   }
function notice(txt) {
   var n = $('notice');
   n.innerHTML = txt;
   new Effect.BlindDown(n);
   new Effect.Highlight(n,{delay:2});
   new Effect.BlindUp(n,{delay:5});
   }

